An Ontology Design Pattern for Material Transformation Charles Vardeman1 , Adila A. Krisnadhi2,3 , Michelle Cheatham2 , Krzysztof Janowicz4 , Holly Ferguson1 , Pascal Hitzler2 , Aimee P. C. Buccellato1 , Krishnaprasad Th

Source URL: ontologydesignpatterns.org

• Semantic Web
• Information science
• Knowledge representation
• Technical communication
• Embodied energy
• Ontology
• Web Ontology Language
• Life-cycle assessment
• Sustainable energy
• Embodiment

Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: se.inf.ethz.ch

• Systems engineering
• Graph rewriting
• Unified Modeling Language
• Model transformation
• Data transformation
• Model checking
• Mathematical logic

D Programming Language Specication i This is the specication for the D Programming Language. For more information see dlang.org.

Source URL: dlang.org

• Character encoding
• Computing
• Software
• Unicode Transformation Formats
• Compiler construction
• Encodings
• Programming language implementation
• Byte order mark
• Lexical analysis
• UTF-16
• UTF-8
• UTF-1

Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden

Source URL: hexhive.github.io

• Software engineering
• Computer programming
• Programming language theory
• Abstract interpretation
• Symbolic execution
• Program analysis
• KeY
• Disassembler
• Pattern matching
• Forth
• Symbolic
• Concolic testing

Published in Proc. of Conference on Compiler Construction, 2002, pp. 213–228. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul, and Westley

Source URL: www.scottmcpeak.com

Humanising Language Teaching_Year 6; Issue 1; JanuaryThe Learning School - A school culture in which the entire staff is encouraged to engage in personal learning which feeds organisational transformation, and vic

Source URL: lamsig.iatefl.org

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|lhamann|fhilken}@informatik.uni-bremen.

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Relational model
• ECO
• Database
• Model transformation
• Metamodeling
• Class diagram

Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Object Process Methodology
• Object diagram
• Class diagram
• Postcondition
• Design by contract
• Sequence diagram
• Conceptual model

CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10)

Source URL: www.program-transformation.org

• Computing
• Software engineering
• Computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• Domain-specific language
• Actor model